Indestructibility, instances of strong compactness, and level by level inequivalence
نویسندگان
چکیده
منابع مشابه
Indestructibility, instances of strong compactness, and level by level inequivalence
Suppose λ > κ is measurable. We show that if κ is either indestructibly supercompact or indestructibly strong, then A = {δ < κ | δ is measurable, yet δ is neither δ+ strongly compact nor a limit of measurable cardinals} must be unbounded in κ. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two models in which A = ∅. The first of these cont...
متن کاملIndestructibility, Strong Compactness, and Level by Level Equivalence
We show the relative consistency of the existence of two strongly compact cardinals κ1 and κ2 which exhibit indestructibility properties for their strong compactness, together with level by level equivalence between strong compactness and supercompactness holding at all measurable cardinals except for κ1. In the model constructed, κ1’s strong compactness is indestructible under arbitrary κ1-dir...
متن کاملLevel by Level Inequivalence , Strong Compactness , and GCH ∗ † Arthur
We construct three models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In the first two models, below the supercompact cardinal κ, there is a non-supercompact strongly compact cardinal. In the last model, any suitably defined ground model Easton function is realized.
متن کاملIndestructibility and The Level-By-Level Agreement Between Strong Compactness and Supercompactness
Can a supercompact cardinal κ be Laver indestructible when there is a level-by-level agreement between strong compactness and supercompactness? In this article, we show that if there is a sufficiently large cardinal above κ, then no, it cannot. Conversely, if one weakens the requirement either by demanding less indestructibility, such as requiring only indestructibility by stratified posets, or...
متن کاملA Note on Indestructibility and Strong Compactness
If κ < λ are such that κ is both supercompact and indestructible under κ-directed closed forcing which is also (κ+,∞)-distributive and λ is 2λ supercompact, then by [3, Theorem 5], {δ < κ | δ is δ+ strongly compact yet δ isn’t δ+ supercompact} must be unbounded in κ. We show that the large cardinal hypothesis on λ is necessary by constructing a model containing a supercompact cardinal κ in whic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2010
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-010-0200-0